Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic
نویسندگان
چکیده
The notion of the fuzzy assertion based on propositional modal logic is introduced and the properties of the fuzzy reasoning based on fuzzy assertions are studied. As an extending of the traditional semantics of modal logics, the fuzzy Kripke semantics is considered and a formal fuzzy reasoning system based on fuzzy constraint is established. In order to decide whether a fuzzy assertion is a logical consequence of a set of fuzzy assertions, the notion of the educed set based on fuzzy constraint is introduced and the relation between the fuzzy reasoning and the satisfiability of the educed set is revealed.
منابع مشابه
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka’s graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of Lsemantical consequence operation, its some basic properties are obtained. Finally, this pape...
متن کاملA qualitative fuzzy possibilistic logic
A formal logical system dealing with both uncertainty (possibility) and vagueness (fuzziness) is investigated. It is many-valued and modal. The system is related to a many-valued tense logic. A completeness theorem is exhibited. K E Y W O R D S : fuzzy logic, modal logic, possibilistic logic, comparative approach
متن کاملA logic framework for reasoning with movement based on fuzzy qualitative representation
We present a logic approach to reason with moving objects under fuzzy qualitative representation. This way, we can deal both with qualitative and quantitative information, and consequently, to obtain more accurate results. The proposed logic system is introduced as an extension of Propositional Dynamic Logic: this choice, on the one hand, simplifies the theoretical study concerning soundness, c...
متن کاملGranular Computing on Extensional Functional Dependencies for Information System
Structure of Rough Approximations Based on Molecular Lattices p. 69 Rough Approximations under Level Fuzzy Sets p. 78 Fuzzy-Rough Modus Ponens and Modus Tollens as a Basis for Approximate Reasoning p. 84 Logic and Rough Sets Rough Truth, Consequence, Consistency and Belief Revision p. 95 A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning p. 103 Fuzzy Reasoning Base...
متن کاملROBUSTNESS OF THE TRIPLE IMPLICATION INFERENCE METHOD BASED ON THE WEIGHTED LOGIC METRIC
This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...
متن کامل